منابع مشابه
Stochastic finite-state systems in control theory
This paper is concerned, in the main, with a problem of pursuit–evasion in the context of a stochastic finite-state system. Two cases are considered: (a) non-competitive pursuit in which the target does not try to evade the pursuer; and (b) a competitive case in which the aim of the target is to maximize the time of interception, and that of the pursuer is to minimize it. Employing dynamic prog...
متن کاملOn the Loop-Free Decomposition of Stochastic Finite-State Systems
Two generalizations of Bacon's theory of loop-free decomposition of probabilistic finite-state systems are proposed. The first of these consists of a modification of the structure of the decomposition which then allows for the decomposition of a larger class of systems. The second generalization subsumes the first: sufficient conditions for a stochastic finite-state system to be decomposable fo...
متن کاملStochastic Games on a Product State Space
Stochastic games and product-games. An n-player stochastic game is given by (1) a set of players N = 1 n , (2) a nonempty and finite set of states S, (3) for each state s ∈ S, a nonempty and finite set of actions As for each player i, (4) for each state s ∈ S and each joint action as ∈×i∈N As , a payoff r i s as ∈ to each player i, (5) for each state s ∈ S and each joint action as ∈×i∈N As , a ...
متن کاملA Markov Game Controller for Finite State Space Nonlinear Systems
The optimal control problem for nonlinear systems, in presence of external disturbances, has been formulated as a two-player zero-sum Markov game between the disturbance and the control. In Reinforcement Learning (RL) paradigm, controller design for nonlinear systems has been framed either using the Markov Decision Process (MDP) setting or the H∞ theory. While MDP framework assumes a stationary...
متن کاملFinite - State Concurrent Systems ?
Temporal logic model checking is an automatic technique for verifying nite-state concurrent systems. Speciications are expressed in a propositional temporal logic, and the concurrent system is modeled as a state-transition graph. An eecient search procedure is used to determine whether or not the state-transition graph sat-isses the speciication. When the technique was rst developed ten years a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ISCIE International Symposium on Stochastic Systems Theory and its Applications
سال: 2014
ISSN: 2188-4730,2188-4749
DOI: 10.5687/sss.2014.284